restricted predicate calculus
狭谓词演算
热门查询
- defoliant n. （美）[农药] 落叶剂；[农药] 脱叶剂
- ifa abbr. 整合档案衔接器（Integrated File Adapter）；国际演员联合会（International Federation of Actors）
- councilman n. 议员；委员
- flipper n. 鳍状肢；鳍；烤饼；胖听罐头 adj. 无礼的 vi. 靠鳍足（或鸭甲板）行动
- Sakata [地名] [日本] 酒田
- Hamelin 哈梅林
- venue n. 审判地；犯罪地点；发生地点；集合地点
- typical adj. 典型的；特有的；象征性的
- abnegation n. 拒绝；放弃；克制
- ampicillin n. [药] 氨苄青霉素，氨比西林
- unmemorable adj. 不容易记住的；不值得纪念的；不值得注意的
- unfelt adj. 没有被感觉到的
- ISBN abbr. 国际标准图书编号（International Standard Book Number）
- gregariousness n. 群集度；合群性
- occupier n. 居住人；占有者；占用者
- popularization n. 通俗化，大众化；普及
- ESSO n. （美国）埃索石油公司
- brookside [地名] [美国] 布鲁克赛德
- applejack n. （美）苹果白兰地
- misstatement n. 虚伪的陈述；误述
考试词汇表
- precision hand tapping machine
- precision incentive spirometer
- precision iteractive operation
- precision measuring instrument
- precision measuring microscope
- precision measuring technology
- precision of calibration model
- precision seamless steel tubes
- preconditioning of feeder lamb
- preconventional morality level
- preconventional morality stage
- precooling of perishable goods
- precordial electrocardiography
- precoutionary demand for money
- predatory price discrimination
- predefned pphysical properties
- predesign and systems analysis
- predetermined factory overhead
- predetermined selling expenses
- predicate logic of first order
